package testcasegenerator.clp.classlevel;

import java.util.ArrayList;

import spec.ocl_mpg.TreeNode;

public interface SpecPredicate {
	
	public String getclassName();
	public String getevent();
	public void setparam_list(ArrayList<String[]> var_list);
	public void setvar_list(ArrayList<String[]> getvarList);
	public void setclassName(String className);
	public ArrayList<String[]> getvar_list();
	public ArrayList<String[]> getparam_list();
	public String getaction();
	public String generateCLP();
	public String getClassEventName();
	public TreeNode getinv();
	
	


}
